Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
541	Big Data Analytics, Spring 2014 IRGN 490A, Section IDFor 2015, this course is IRGN 452. The textbook will change. Professor Roger Bohn Add to Reading List Source URL: art2science.files.wordpress.com Language: English - Date: 2015-02-08 15:13:33 Business intelligence Knowledge Formal sciences Visualization Learning Data mining Exploratory data analysis Data visualization STATISTICA Statistics Science Data analysis
542	Form Methods Syst Des: 61–92 DOIs10703MAVEN: modular aspect verification and interference analysis Max Goldman · Emilia Katz · Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-31 08:13:05 Aspect-oriented programming Join point Linear temporal logic AspectJ Pointcut Formal verification Model checking Kripke structure Temporal logic Software development Software Aspect-oriented software development
543	Manuel Hermenegildo Areas of Interest Advanced Program Development Technology, Global Program Analysis / Optimization / Verification, Abstract Interpretation, Abstract Machines, Parallelizing Compilers, Resource-Aware Di Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-08-06 12:15:35 Formal sciences International Conference on Logic Programming Logic programming Association for Computing Machinery CiteSeer Federated Logic Conference International Symposium on Logic-based Program Synthesis and Transformation Logic Lecture Notes in Computer Science Computer science Science Computing
544	Software Security: A Formal Perspective (Notes for a Talk) Mart´ın Abadi1,2 1 2 Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2012-06-26 10:13:21 Cyberwarfare PaX Buffer overflow Stack buffer overflow Vulnerability Application security Formal methods Malware Static program analysis Software bugs Computer security Computing
545	Formal Ontology for Sentiment Analysis Adam Pease Rearden Commerce code available at http://www.ontologyportal.org Add to Reading List Source URL: sentimentsymposium.com Language: English - Date: 2011-11-15 07:29:26 Sentiment analysis Artificial intelligence Star Ontology Natural language processing Science Knowledge
546	Introduction to Text Mining Virtual Data Intensive Summer School July 10, 2013 Dean Abbott Abbott Analytics, Inc. email: Add to Reading List Source URL: www.vscse.org Language: English - Date: 2013-07-11 08:44:53 Data analysis Data management Business intelligence Formal sciences Statistical natural language processing Text mining Analytics Unstructured data Data mining Science Natural language processing Statistics
547	EARLY SIZING AND EARLY RISK ANALYSIS OF SOFTWARE PROJECTS Capers Jones, President Add to Reading List Source URL: www.namcook.com Language: English - Date: 2011-12-20 12:20:06 Formal methods Information technology management Management Software sizing Software quality Function point Software development process Software project management Risk management Software metrics Software development Project management
548	To appear in the Intl. J. of Robotics Research Also Technical Report CRES, Center for Robotics and Embedded Systems, USC, July 2003 A formal analysis and taxonomy of task allocation in multi-robot systems Brian P. Add to Reading List Source URL: cres.usc.edu Language: English - Date: 2004-06-08 10:49:29 Operations research Linear programming Combinatorial optimization NP-complete problems Greedy algorithm Robot Assignment problem Algorithm Set cover problem Mathematics Theoretical computer science Applied mathematics
549	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
550	Multi-Pass Multi-Strategy NLP Amnon Meyers Text Analysis International, IncHollenbeck Ave. #501 Sunnyvale, CAUSA Add to Reading List Source URL: www.textanalysis.com Language: English - Date: 2005-02-08 22:49:30 Formal languages Computing Natural language processing Speech recognition Parse tree Parsing Information extraction Pattern matching Attribute grammar Compiler construction Linguistics Software engineering

UPDATE